[nom] Proposition issue d'une contraposition.
En logique et en mathématiques, la contraposition est un type de raisonnement consistant à affirmer l`implication « si non B alors non A » à partir de l`implication « si A alors B ». L`implication « si non B alors non A » est appelée contraposée de « si A alors B ». Par exemple, la p...